(set-option :produce-interpolants 1)
(set-logic QF_LRA)
(declare-fun r11 () Real)
(check-sat)
(check-sat)
(assert (!(> r11 0.0) :named A))
(push 1)
(assert (!(> 0.0 r11) :named B))
(check-sat)
(get-interpolants A B)
